Listen to Me! Public Announcements to Agents That Pay Attention — or Not
Identifieur interne : 001542 ( Main/Exploration ); précédent : 001541; suivant : 001543Listen to Me! Public Announcements to Agents That Pay Attention — or Not
Auteurs : Hans Van Ditmarsch [France] ; Andreas Herzig [France] ; Emiliano Lorini [France] ; François Schwarzentruber [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: In public announcement logic it is assumed that all agents pay attention (listen to/observe) to the announcement. Weaker observational conditions can be modelled in event (action) model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic, abbreviated ABAL. We give an axiomatization and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic [2]. We exploit our logic to formalize the concept of joint attention that has been widely discussed in the philosophical and cognitive science literature. Finally, we extend our logic by integrating attention change.
Url:
DOI: 10.1007/978-3-642-40948-6_8
Affiliations:
- France
- Grand Est, Lorraine (région), Midi-Pyrénées, Occitanie (région administrative)
- Metz, Nancy, Toulouse
- Université de Lorraine
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000114
- to stream Istex, to step Curation: 000114
- to stream Istex, to step Checkpoint: 000168
- to stream Main, to step Merge: 001554
- to stream Main, to step Curation: 001542
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Listen to Me! Public Announcements to Agents That Pay Attention — or Not</title><author><name sortKey="Van Ditmarsch, Hans" sort="Van Ditmarsch, Hans" uniqKey="Van Ditmarsch H" first="Hans" last="Van Ditmarsch">Hans Van Ditmarsch</name></author><author><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name></author><author><name sortKey="Lorini, Emiliano" sort="Lorini, Emiliano" uniqKey="Lorini E" first="Emiliano" last="Lorini">Emiliano Lorini</name></author><author><name sortKey="Schwarzentruber, Francois" sort="Schwarzentruber, Francois" uniqKey="Schwarzentruber F" first="François" last="Schwarzentruber">François Schwarzentruber</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:059586CDB205DA96146291A893DD7D6A1AB3452C</idno><date when="2013" year="2013">2013</date><idno type="doi">10.1007/978-3-642-40948-6_8</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-MMFBL8R9-L/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000114</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000114</idno><idno type="wicri:Area/Istex/Curation">000114</idno><idno type="wicri:Area/Istex/Checkpoint">000168</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000168</idno><idno type="wicri:doubleKey">0302-9743:2013:Van Ditmarsch H:listen:to:me</idno><idno type="wicri:Area/Main/Merge">001554</idno><idno type="wicri:Area/Main/Curation">001542</idno><idno type="wicri:Area/Main/Exploration">001542</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Listen to Me! Public Announcements to Agents That Pay Attention — or Not</title><author><name sortKey="Van Ditmarsch, Hans" sort="Van Ditmarsch, Hans" uniqKey="Van Ditmarsch H" first="Hans" last="Van Ditmarsch">Hans Van Ditmarsch</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, CNRS, Université de Lorraine</wicri:regionArea><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>CNRS, IRIT, University of Toulouse</wicri:regionArea><wicri:noRegion>University of Toulouse</wicri:noRegion><wicri:noRegion>University of Toulouse</wicri:noRegion></affiliation></author><author><name sortKey="Lorini, Emiliano" sort="Lorini, Emiliano" uniqKey="Lorini E" first="Emiliano" last="Lorini">Emiliano Lorini</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>CNRS, IRIT, University of Toulouse</wicri:regionArea><wicri:noRegion>University of Toulouse</wicri:noRegion><wicri:noRegion>University of Toulouse</wicri:noRegion></affiliation><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>IAST, Toulouse</wicri:regionArea><placeName><region type="region">Occitanie (région administrative)</region><region type="old region">Midi-Pyrénées</region><settlement type="city">Toulouse</settlement></placeName></affiliation></author><author><name sortKey="Schwarzentruber, Francois" sort="Schwarzentruber, Francois" uniqKey="Schwarzentruber F" first="François" last="Schwarzentruber">François Schwarzentruber</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>IRISA, ENS Cachan (Brittany Extension)</wicri:regionArea><wicri:noRegion>ENS Cachan (Brittany Extension)</wicri:noRegion><wicri:noRegion>ENS Cachan (Brittany Extension)</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: In public announcement logic it is assumed that all agents pay attention (listen to/observe) to the announcement. Weaker observational conditions can be modelled in event (action) model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic, abbreviated ABAL. We give an axiomatization and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic [2]. We exploit our logic to formalize the concept of joint attention that has been widely discussed in the philosophical and cognitive science literature. Finally, we extend our logic by integrating attention change.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li><li>Midi-Pyrénées</li><li>Occitanie (région administrative)</li></region><settlement><li>Metz</li><li>Nancy</li><li>Toulouse</li></settlement><orgName><li>Université de Lorraine</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Van Ditmarsch, Hans" sort="Van Ditmarsch, Hans" uniqKey="Van Ditmarsch H" first="Hans" last="Van Ditmarsch">Hans Van Ditmarsch</name></region><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name><name sortKey="Lorini, Emiliano" sort="Lorini, Emiliano" uniqKey="Lorini E" first="Emiliano" last="Lorini">Emiliano Lorini</name><name sortKey="Lorini, Emiliano" sort="Lorini, Emiliano" uniqKey="Lorini E" first="Emiliano" last="Lorini">Emiliano Lorini</name><name sortKey="Schwarzentruber, Francois" sort="Schwarzentruber, Francois" uniqKey="Schwarzentruber F" first="François" last="Schwarzentruber">François Schwarzentruber</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001542 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001542 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:059586CDB205DA96146291A893DD7D6A1AB3452C
|texte= Listen to Me! Public Announcements to Agents That Pay Attention — or Not
}}
| This area was generated with Dilib version V0.6.33. |  |